منابع مشابه
Complex Valued Probability Logics
We present two complex valued probabilistic logics, LCOMPB and LCOMPS , which extend classical propositional logic. In LCOMPB one can express formulas of the form Bz,ρα meaning that the probability of α is in the complex ball with the center z and the radius ρ, while in LCOMPS one can make statements of the form Sz,ρα with the intended meaning – the probability of propositional formula α is in ...
متن کاملComplexity of Fuzzy Probability Logics
The satisfiability problem for the logic FP(Ł) (fuzzy probability logic over Łukasiewicz logic) is shown to be NP-complete; satisfiability in FP(ŁΠ) (the same over the logic joining Łukasiewicz and product logic) is shown to be in PSPACE.
متن کاملFuzzy and Probability Uncertainty Logics
Probability theory and fuzzy logic have been presented as quite distinct theoretical foundations for reasoning and decision making in situations of uncertainty. This paper establishes a common basis for both forms of logic of uncertainty in which a basic uncertainty logic is defined in terms of a valuation on a lattice of propositions. The (non-truth-functional) connectives for conjunction, dis...
متن کاملDescription Logics and Fuzzy Probability
Uncertainty and vagueness are pervasive phenomena in real-life knowledge. They are supported in extended description logics that adapt classical description logics to deal with numerical probabilities or fuzzy truth values. While the two concepts are distinguished for good reasons, they combine in the notion of probably, which is ultimately a fuzzy qualification of probabilities. Here, we devel...
متن کاملCadiag-2 and Fuzzy Probability Logics
We briefly describe the medical expert system Cadiag-2, developed to support the differential diagnostic process in internal medicine. We propose a propositional logic called fuzzy probability logic as a possible formalization of Cadiag-2 and indicate the way of transferring Cadiag-2's methodology into this framework.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1965
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093958152